modal default reasoning

模态默认推理(法)